Rational points in henselian discrete valuation rings

Definable Henselian Valuation Rings

We give model theoretic criteria for the existence of∃∀ and∀∃formulas in the ring language to define uniformly the valuation rings O of models (K,O) of an elementary theory Σ of henselian valued fields. As one of the applications we obtain the existence of an ∃∀-formula defining uniformly the valuation rings O of valued henselian fields (K,O) whose residue class field k is finite, pseudofinite,...

Existential ∅-Definability of Henselian Valuation Rings

In [1], Anscombe and Koenigsmann give an existential ∅-definition of the ring of formal power series F [[t]] in its quotient field in the case where F is finite. We extend their method in several directions to give general definability results for henselian valued fields with finite or pseudo-algebraically closed residue fields. §

On Ramified Complete Discrete Valuation Rings

Gersten’s conjecture for commutative discrete valuation rings

The purpose of this article is to prove that Gersten’s conjecture for a commutative discrete valuation ring is true. Combining with the result of [GL87], we learn that Gersten’s conjecture is true if the ring is a commutative regular local, smooth over a commutative discrete valuation ring.

Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields

We give a de nition, in the ring language, of Zp inside Qp and of Fp[[t]] inside Fp((t)), which works uniformly for all p and all nite eld extensions of these elds, and in many other Henselian valued elds as well. The formula can be taken existential-universal in the ring language, and in fact existential in a modi cation of the language of Macintyre. Furthermore, we show the negative result th...